On Intelligence

Results: 8970



#Item
461Logic / Mathematical logic / Abstraction / Automated theorem proving / Reasoning / Syntax / Theoretical computer science / Artificial intelligence / Automated reasoning / Proof assistant / Isabelle / First-order logic

Downloaded from orbit.dtu.dk on: Aug 13, 2016 Formalization of Algorithms and Logical Inference Systems in Proof Assistants Schlichtkrull, Anders Published in:

Add to Reading List

Source URL: orbit.dtu.dk

Language: English - Date: 2016-01-29 23:14:59
462Government / Military history by country / Human behavior / United States intelligence agencies / Terrorism / George Voinovich / Government Accountability Office / USA.gov / Central Intelligence Agency / War on Terror

CBSNews.com: Print This Story

Add to Reading List

Source URL: famguardian.org

Language: English - Date: 2014-12-29 13:50:52
463Machine learning / Artificial intelligence / Learning / Image processing / Feature detection / K-nearest neighbors algorithm / Statistical classification / Multiple kernel learning / Kernel / Image segmentation / Outline of object recognition / Positive-definite kernel

570 IEEE TRANSACTIONS ON IMAGE PROCESSING, VOL. 20, NO. 2, FEBRUARY 2011 Contextual Object Localization With Multiple Kernel Nearest Neighbor

Add to Reading List

Source URL: eceweb.ucsd.edu

Language: English - Date: 2015-07-31 19:00:27
464Technology / Artificial intelligence / Collective intelligence / Superorganisms / Alcatel-Lucent / Social networking service / Economy

1 2nd International Workshop on Web Intelligence and Virtual Enterprises (WIVENext Generation of Spontaneous Social networks

Add to Reading List

Source URL: wic.litislab.fr

Language: English - Date: 2013-12-09 08:25:56
465Privacy of telecommunications / Government / Law / United States / Patriot Act / 107th United States Congress / Librarianship and human rights / Federal Bureau of Investigation / Office of Inspector General / Foreign Intelligence Surveillance Act / National security letter / Patriot Act /  Title II

RESOLUTION
ON
2009
REAUTHORIZATION
OF
THE
USA
PATRIOT
ACT
 Whereas,
the
Massachusetts
Library
Association
is
committed
to
encouraging
free
and
open
 inquiry
by
preserving
t

Add to Reading List

Source URL: www.masslib.org

Language: English - Date: 2010-09-08 05:51:55
466Geography / Geographic data and information / Data / Cartography / United Nations Committee of Experts on Global Geospatial Information Management / Geographic information systems / Geospatial / Geoinformatics / Vanessa Lawrence / Geospatial intelligence

ADVANCE UNEDITED VERSION UNITED NATIONS E/CAdd.1

Add to Reading List

Source URL: ggim.un.org

Language: English - Date: 2015-07-07 07:03:58
467Economy / Marketing / Business / Brand management / Quantifind / Business intelligence / Analytics / Brand

Product Overview – s ig n u m Analysis Explore, Understand, and Change Your Impact on Revenue At Quantifind, we’ve pioneered the science of explanatory analytics. Our flagship product, signum Analysis, is helping th

Add to Reading List

Source URL: quantifind.com

Language: English - Date: 2016-06-23 17:08:32
468Computational neuroscience / Artificial neural networks / Cybernetics / Computer vision / Applied mathematics / Neuroscience / Convolutional neural network / Artificial intelligence / Deep learning / Information retrieval / British Machine Vision Conference

Eurographics Workshop on 3D Object RetrievalJ. Jorge and M. Lin (Guest Editors) SHREC’16 Track Large-Scale 3D Shape Retrieval from ShapeNet Core55 M. Savva1∗ , F. Yu2∗ , Hao Su1∗ , M. Aono8 , B. Chen6 , D

Add to Reading List

Source URL: vis-www.cs.umass.edu

Language: English - Date: 2016-06-14 23:38:33
469Artificial intelligence / Systems science / International Conference on Autonomous Agents and Multiagent Systems / Multi-agent systems / Autonomous Agents and Multi-Agent Systems / Agent-based model / Robot competition / Science / Academia

Dr Elizabeth I Sklar, PhD Reader Department of Informatics King’s College London Strand, London, WC2R 2LS, United Kingdom

Add to Reading List

Source URL: nms.kcl.ac.uk

Language: English - Date: 2015-10-27 07:22:29
470Computer vision / Artificial intelligence / Face recognition / Machine learning / Face detection / FERET / Facial recognition system / Edge detection / Pattern recognition / Boosting / Feature detection / ViolaJones object detection framework

Face and Eye Detection on Hard Datasets Jon Parris1 , Michael Wilber1 , Brian Heflin2 , Ham Rara3 , Ahmed El-barkouky3 , Aly Farag3 , Javier Movellan4 , Anonymous5 , Modesto Castril´on-Santana6 , Javier Lorenzo-Navarro6

Add to Reading List

Source URL: vast.uccs.edu

Language: English - Date: 2011-09-08 17:25:19
UPDATE